Web of Science

Results: 10243



#Item
791Formal methods / Logic in computer science / Theoretical computer science / Hardware verification languages / Aspect-oriented software development / Formal verification / Model checking / Abstraction / E / Communications protocol / Modularity / Construction and Analysis of Distributed Processes

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Add to Reading List

Source URL: web.cs.wpi.edu

Language: English - Date: 2002-11-13 14:10:53
792Information science / Open Geospatial Consortium / Semantic Web / Knowledge representation / Technical communication / GeoSPARQL / Geographic information system / Ontology / Spatial relation / Spacetime / Observations and Measurements / Oracle Spatial and Graph

A Place and Event Based Context Model for Environmental Monitoring Kate Beard1 and Melinda Neville2 1 School of Computing and Information Science, University of Maine, Orono, Maine

Add to Reading List

Source URL: ncgia.buffalo.edu

Language: English - Date: 2016-05-17 15:26:03
793Achromatopsia / Agnosia / Channelopathies / Visual perception / Visual system / Course credit / Academic term

SUGGESTED PROGRAM OF STUDY Bachelor of Science - Major in Chemistry1 Pre-Med Track with AMTH 141 Placement bulletin First Year Fall Semester Spring Semester ACHM 111 (General Chem. I) (4)____ ACHM 112 (Gener

Add to Reading List

Source URL: web.usca.edu

Language: English - Date: 2012-10-12 09:33:39
794Humancomputer interaction / Information technology / Web mapping / Science and technology studies / Design / Geographic information system / Usability / Cartography / Educational technology / Google Maps / Innovation

A Process for Assessing Emergent Web Mapping Technologies Robert E. Roth, Richard G. Donohue, Carl M. Sack, Timothy R. Wallace, and Tanya M.A. Buckingham University of Wisconsin‒Madison | contact:

Add to Reading List

Source URL: www.geography.wisc.edu

Language: English - Date: 2013-04-15 21:17:53
795Geoffrey C. Bowker / Susan Leigh Star / Information infrastructure / Cyberinfrastructure / Information science / Ludwig Fleck Prize / Informatics / Bowker

Informatics Distinguished Speaker Knowledge Expression and Values in Information Infrastructures Geoffrey Bowker School of Information Sciences, University of Pittsburgh

Add to Reading List

Source URL: cor.web.uci.edu

Language: English - Date: 2013-02-27 22:41:09
796Structure of the Earth / Coremantle boundary / Mantle / Mesosphere / Post-perovskite / Large low-shear-velocity provinces / SKS wave / Low-velocity zone / Outer core / Transition zone / Ferropericlase / Geophysics

Earth and Planetary Science Letters–342 Contents lists available at SciVerse ScienceDirect Earth and Planetary Science Letters journal homepage: www.elsevier.com/locate/epsl

Add to Reading List

Source URL: web.gps.caltech.edu

Language: English - Date: 2013-03-20 18:13:29
797Food safety / Food defense / Food / Institute of Food Technologists / Federal Institute for Risk Assessment / Food policy

Food Protection and Defense Institute (FPDI) A DHS Science and Technology Center of Excellence Mission: To defend the safety of the food system through research and education.

Add to Reading List

Source URL: web-oup.s3-fips-us-gov-west-1.amazonaws.com

Language: English - Date: 2016-05-06 11:50:19
798Semantic Web / Information science / Ontology / Knowledge representation / Technical communication / Knowledge representation and reasoning / Web Ontology Language / Category of being / Nicola Guarino / Upper ontology / Applied ontology

Ontologies and Ontological Analysis Nicola Guarino Laboratorio di Ontologia Applicata (LOA) Istituto di Scienze e Tecnologie della Cognizione (ISTC-CNR) Trento, Italy

Add to Reading List

Source URL: fois08.dfki.de

Language: English - Date: 2008-11-05 10:04:34
799Semantic Web / Resource Description Framework / SPARQL / Named graph / RDF Schema / FOAF / Triplestore / SPARUL / Ontology / Web Ontology Language / Blank node / RDF query language

Controlling Access to RDF Graphs Giorgos Flouris1 , Irini Fundulaki1 , Maria Michou1 , and Grigoris Antoniou1,2 2 1 Institute of Computer Science, FORTH, Greece

Add to Reading List

Source URL: users.ics.forth.gr

Language: English - Date: 2010-09-29 11:18:00
800Web services / Web Services Discovery / National Science Digital Library / Paradata

Components of an NSDL Architecture: Technical Scope and Functional Model Greg Janée Alexandria Digital Library Project University of California at Santa Barbara Santa Barbara, CAUSA

Add to Reading List

Source URL: legacy.alexandria.ucsb.edu

Language: English - Date: 2003-02-24 16:47:54
UPDATE